Formal Modeling and Verification of Multi-agent System Architecture
نویسندگان
چکیده
منابع مشابه
Approach for the formal modeling of requirements, verification, and architecture of a multi-agent robotic system
It is important to have multi-agent robotic system specifications that ensure correctness properties of safety and liveness. As these systems have concurrency, and often have dynamic environment, the formal specification and verification of these systems along with step-wise refinement from abstract to concrete concepts play a major role in system correctness. Formal verification is used for ex...
متن کاملFormal Specification of Multi-Agent System Architecture
Multi-Agent Systems (MAS) are an emerging paradigm that has high potentials for developing distributed, open and concurrent complex systems. These systems often need to operate in dynamic environments and face the challenges of handling continuously changing requirements. These aspects increase the complexity of designing MAS. To handle the complexity and facilitate reasoning, software architec...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملPushdown Multi-Agent System Verification
In this paper we investigate the model-checking problem of pushdown multi-agent systems for ATL specifications. To this aim, we introduce pushdown game structures over which ATL formulas are interpreted. We show an algorithm that solves the addressed model-checking problem in 3ExpTime. We also provide a 2ExpSpace lower bound by showing a reduction from the word acceptance problem for determinis...
متن کاملFormal Specification and Verification of Trust in Multi-Agent Systems
Trust remains one fundamental challenge that is holding back the success of mas. Although the available literature is rich with trust mechanisms and strategies, the notion of trust remains a vague notion. In this paper we try to bring these trust theories to a concrete level. We present a mechanism for specifying and verifying the various trust strategies and mechanisms of the available literat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: AASRI Procedia
سال: 2013
ISSN: 2212-6716
DOI: 10.1016/j.aasri.2013.10.068